-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b methode formelle methode formelle b modèle abstrait système prouvé
www.methode-b.com - 2009-02-11
-
Accueil l L'Outil Brama l Télécharger l Démos en ligne l Documentation l Liens l Contact Brama, Outil d'animation graphique de modèle B. Présentation de l'Outil B ...
langage formel methodes formelles modelisation b modélisation b modelisation graphique modelisation système
www.brama.fr - 2009-04-09
-
Le compilateur B est, avec le Générateur de Théorèmes et le démonstrateur de Théorèmes, lun des outils principaux de l'Atelier B. Il permet lanalyse de la synta ...
b compiler compilateur b
www.b-compiler.com - 2009-02-09
-
Présentation de l'Atelier b, atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
www.atelierb.eu - 2009-03-09
|
méthode b
méthode formelle
langage b
atelier b
|
|
